Home
Music_Metasearch
Music Top Sites
Music Store

AllMusicListings
Concert Listings
Concert Tickets

AllMusicTalk
Chat Rooms
Message Boards

MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News

Community Blogs
Free Member Blogs

AllMusicPages
Free Web Pages

AllMusicBookmarks
Your Bookmarks

AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology

Music Auctions
Auctions
Classifieds

Music Apparel
AllMusicSearch Apparel

Music Store
MP3 Players
Audio Equipment
MP3 Software

Musical Instruments

Music Books
Music Magazines

Music T-Shirts

Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks

Music Videos
Music DVDs

Suggest a site 

Search: Options: entire directory this category only advanced

Top: World: Japanese: 科学: 自然科学: 数学: 数理論理学・数学基礎論:

数理論理学・数学基礎論 (5)

イタリア語, スペイン語, ドイツ語, フランス語, ポーランド語, ロシア語, 英語

» 情報証明論
   Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。
   http://markun.cs.shinshu-u.ac.jp/learn/iproof/

» 数学基礎論史
   æž—晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記。
   http://www.shayashi.jp/HistoryOfFOM/

» 数学基礎論若手の会
   å­¦ç”Ÿãƒ»è‹¥æ‰‹ç ”究者の研究交流を目的とする、合宿形式の研究集会。
   http://www.mi.s.osakafu-u.ac.jp/~kada/wakate/

» 記号論理と情報科学研究集会
   è¨˜å·è«–理学と情報科学の境界領域に関する研究発表や研究討論。
   http://www.sato.kuis.kyoto-u.ac.jp/SLACS/

» 高校数学＋α
   æ•°å­¦åŸºç¤Žè«–から論理的に解説した高校数学。雑記帳や議論掲示板。
   http://www.h6.dion.ne.jp/~hsbook_a/

Last Updated: 2008-12-27 07:27:28

Powered by AllMusicSearch.com Copyright © 2000-2014 AllMusicSearch.com Inc  Privacy Policy